Is mathematical software a legitimate research area?

A mathematical perspective for software measures research

We identify and analyze basic principles which necessarily underlie software measures research. In the prevailing paradigm for the validation of software measures there is a fundamental assumption that the sets of measured documents are ordered, and that measures should report these orders. We describe mathematically the nature of such orders. Consideration of these orders suggests a hierarchy ...

Software Systems Analysis— A Research Area Overview

Software systems analysis is a field in which analysts continually learn new techniques and approaches to properly capture, maintain, understand, and develop more efficient and effective software systems. We begin this research area overview by defining systems, systems analysis, and modeling. In subsequent sections, we focus on data and behavior representation of the system under study, protot...

Visualising Software – A Key Research Area

The visualisation of software systems has long been investigated, primarily through the use of graph structures representing at most a couple of aspects of the system under consideration. It has been claimed that such visualisation cannot be successful because of the size and complexity of software; this is true of purely graph displays. This position paper makes the case for three-dimensional ...

Mathematical Software Is It Mathematics or Is It Software ?

Computers can empower mathematicians to envision and to prove theorems beyondnatural limitations. At the same time, computers can facilitate misdirection and error on a grand scale.Working on software development is, in effect, engaging in an interesting genre ofmathematical thinking. Since we are in an age where significant progress has been achieved on both practical and intellectual levels b...

Agent-oriented Software Engineering " Research Area Examination " *